Mariages et Trahisons

Un protocole auto-stabilisant est par nature tolérant aux fautes transitoires (i.e. de durée finie). Ces dernières années ont vu apparaı̂tre une nouvelle classe de protocoles qui, en plus d’être auto-stabilisants, tolèrent un nombre limité de fautes permanentes. Dans cet article, nous nous intéressons aux protocoles auto-stabilisants tolérant des fautes permanentes très sévères : les fautes Byzantines. Nous nous concentrons sur la stabilisation stricte, approche dans laquelle le système doit converger en temps fini vers un comportement tel que l’effet des fautes Byzantines est confiné avec un rayon constant autour de chaque processeur fautif (i.e. seuls les processeurs corrects situés en dessous d’une certaine distance d’un processeur Byzantin sont autorisés à ne pas respecter leur spécification). Plus spécifiquement, nous étudions la possibilité de construire un mariage maximal dans un réseau où un nombre inconnu et potentiellement non borné de processeurs peut avoir un comportement Byzantin.